# Copyright (c) 2016 Google Inc. (under http://www.apache.org/licenses/LICENSE-2.0)
def f1(a : t1) -> r1: ...
def f2(*a : t2) -> r2: ...

